A temporal semantics for Nilpotent Minimum logic

A temporal semantics for Nilpotent Minimum logic

In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued Łukasiewicz logic Ł3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic of every instant is given by Ł3: a completeness theorem will be shown. This is the prosecution of the work initiated in [AGM08] and [ABM09], in whic...

Valuations in Nilpotent Minimum Logic

Argumentation Semantics for Temporal Defeasible Logic

Temporal Defeasible Logic extends Defeasible Logic (DL) [1] to deal with temporal aspects. This extension proved useful in modelling temporalised normative positions [3] and retroactive rules, which permit to obtain conclusions holding at a time instant that precedes the time of application of the same rules [4]. Time is added in two ways. First, a temporalised literal is a pair l : t where l i...

Semantics for Temporal Annotated Constraint Logic Programming

We investigate semantics of a considerable subset of Temporal Annotated Constraint Logic Programming (TACLP), a class of languages that allows us to reason about qualitative and quantitative, definite and indefinite temporal information using time points and time periods as labels for atoms. After illustrating the power of TACLP with some non-trivial examples, TACLP is given two different kinds...

Probability Measures in the Logic of Nilpotent Minimum

We axiomatize the notion of state over finitely generated free NM-algebras, the Lindenbaum algebras of pure Nilpotent Minimum logic. We show that states over the free n-generated NM-algebra NM n exactly correspond to integrals of elements of NM n with respect to Borel probability measures.